$\forall$$T$:Type, $A$, $B$:($T$$\rightarrow\mathbb{P}$). $A$ $\equiv$\{$T$\} $B$ $\in$ $\mathbb{P}$